Prehistory of the Asf+sdf System (1980{1984)
نویسندگان
چکیده
The rst stages of the development of the ASF+SDF system are discussed. 1 Monolingual beginning Our work on programming environments started in 1980 with the design of a dedicated environment for the Summer programming language 1], an object-oriented language with class deenitions. Rather than a dedicated Summer environment, the general concept of a monolingual environment emerged 2]. In such an environment, a single language is used in diierent modes. More speciically, we investigated the requirements an integrated command/programming/debugging language would have to satisfy. Since Summer had not been designed with this particular purpose in mind, it is not surprising that a monolingual environment for Summer would have involved a revision of the language. This may have been one of the reasons we never \instantiated" the monolingual concept for Summer, but there were other, more important, ones:
منابع مشابه
Action Semantics and ASF+SDF: System Demonstration
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with action semantics allows complete language descriptions with exceptionally good modularity. Moreover, by specifying the descriptions in ASF+SDF, the ASF+SDF Meta-Environment can be used to provide appropriate tool support.
متن کاملCASL for ASF+SDF Users
Casl is an expressive language for the algebraic specification of software requirements, design, and architecture. It has been developed by an open collaborative effort called CoFI (Common Framework Initiative for algebraic specification and development). Casl combines the best features of many previous algebraic specification languages, and it is hoped that it may provide a focus for future re...
متن کاملedited by Professor C . J . van Rijsbergen M P A Sellink ( Ed ) 2 nd International Workshop on the Theory and Practice of Algebraic Specifications , Amsterdam 1997
The current implementation of the ASF+SDF Meta-Environment has been in existence for more than five years and is becoming obsolete for a variety of reasons, ranging from maintenance problems to problems of scale. A new and improved implementation is in an advanced stage of development. The design choices involved and the progress made to date are summarized. This is a progress report on ongoing...
متن کاملEradication of African swine fever from Brazil
Several outbreaks of African swine fever (ASF), which appeared in the south of Brazil in 1978 and 1979, led the Brazilian authorities to apply emergency sanitary measures. 66,966pigs were destroyed in 224 outbreaks of identified ASF. In order to eradicate ASF and to control classical swine fever (CSF) simultaneously, a vast national Programme was launched in November 1980. It provided for three...
متن کاملDevelopment of Parsing Tools for CASL Using Generic Language Technology
An environment for the Common Algebraic Speci cation Language CASL consists of several independent tools. A number of CASL tools have been built using the algebraic speci cation formalism ASF+SDF and the ASF+SDF Meta-Environment. CASL supports user-de ned syntax which is non-trivial to process: ASF+SDF o ers a powerful parsing technology (Generalized LR). Its interactive development environment...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1994